extensions-app: Don't use deprecated margin-left/right properties

Use the text-direction-aware start/end variants instead.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1495>

diff --git a/subprojects/extensions-app/data/ui/extensions-window.ui b/subprojects/extensions-app/data/ui/extensions-window.ui
index 4bc4156c5cb01eb6ecb9a36009a15a139fed5fa6..265182a1dc8f56fc187d31df5400ea287f40cdc6 100644 (file)
--- a/subprojects/extensions-app/data/ui/extensions-window.ui
+++ b/subprojects/extensions-app/data/ui/extensions-window.ui
@@ -243,8 +243,8 @@
             <child>
               <object class="GtkBox">
                 <property name="visible">True</property>
-                <property name="margin-left">100</property>
-                <property name="margin-right">100</property>
+                <property name="margin-start">100</property>
+                <property name="margin-end">100</property>
                 <property name="margin-top">100</property>
                 <property name="margin-bottom">60</property>
                 <property name="orientation">vertical</property>